мощность логического вывода

мощность логического вывода
inference capacity

логический вывод — inference

цепочка вывода — inference chain

правило вывода — rule of inference

схемы вывода — inference machinery

формальный вывод — formal inference


Русско-английский большой базовый словарь. 2014.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Апории Зенона — …   Википедия

  • Индия — (на языке хинди Бхарат)         официальное название Республика Индия.          I. Общие сведения          И. государство в Южной Азии, в бассейне Индийского океана.          И. находится на важнейших морских и воздушных коммуникациях,… …   Большая советская энциклопедия

  • Сколем Туральф Альберт — Сколем, Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, ‒ 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным… …   Большая советская энциклопедия

  • Сколем —         Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным… …   Большая советская энциклопедия

  • Электроника-60 — Тип Промышленная микроЭВМ Выпущен ? Выпускался по …   Википедия

  • определение — 2.7 определение: Процесс выполнения серии операций, регламентированных в документе на метод испытаний, в результате выполнения которых получают единичное значение. Источник …   Словарь-справочник терминов нормативно-технической документации

  • ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… …   История Философии: Энциклопедия

  • ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… …   История Философии: Энциклопедия

  • Электроника 60 — Тип Промышленная микроЭВМ Выпущен ? Выпускался по ? Процессор М2 Память 4К слов при поставке, максимально адресуемая 32К сл …   Википедия

  • Commodore 64 — Тип Персональный компьютер Выпущен Август 1982 …   Википедия

  • ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — последовательность высказываний, часть которых является ее исходными утверждениями аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из них дедукция, математическая индукция, правило подстановки) или вводятся с …   Философия науки: Словарь основных терминов

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”